1. A Course on Mathematical Logi
پدیدآورنده : / by Shashi Mohan Srivastava
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Mathematics,Computer science,Algebra,Logic, Symbolic and mathematical,Electronic books
رده :
E-BOOK
2. Automata, logics, and infinite games
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Computer science ; Mathematics ; Machine theory ; Logic, Symbolic and mathematical ; Game theory ;
3. COLOG-88: International Conference on Computer Logic Tallinn, USSR, December 12-16, 1988: proceedings
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : Mathematics Congresses ، Computer science,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
9
.
M35
.
I57
1988
4. CSL '88: 2nd Workshop on Computer Science Logic, Duisburg, FRG, October 3-7, 1988: proceedings
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : Mathematics Congresses ، Computer science,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
9
.
M35
.
W67
1988
5. CSL '89: 3rd Workshop on Computer Science Logic, Kaiserslautern, FRG, October 2-6, 1989: proceedings
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : Mathematics Congresses ، Computer science,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
9
.
M35
.
W67
1989
6. Computation, logic, philosophy
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع : Computer science- Mathematics,Logic, Symbolic and mathematical
7. Computation, logic, philosophy : a collection of essays
پدیدآورنده : Wang, Hao
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Computer science-- Mathematics,، Logic, Symbolic and mathematical
رده :
QA
76
.
9
.
M35
.
W35
1990
8. Discrete Mathematics
پدیدآورنده :
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع : Logic, Symbolic and mathematical,Mathematical recreations,Computer Science -- Mathematics
رده :
QA9
.
25
.
E57
2006
9. Discrete mathematics
پدیدآورنده : / Douglas E. Ensley, J. Winston Crawley
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Logic, Symbolic and mathematical,Mathematical recreations,Computer science, Mathematics
رده :
QA9
.
25
.
E57
2006
10. Discrete mathematics
پدیدآورنده : Douglas E. Ensley, J. Winston Crawley
موضوع : Logic, Symbolic and mathematical,Mathematical recreations,Computer science- Mathematics
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
11. Discrete mathematics and its applications
پدیدآورنده : / Kenneth H. Rosen
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه اراک (مرکزی)
موضوع : Mathematics,Computer science -- Mathematics,Logic, Symbolic and mathematical
رده :
511
R813d
E
.
5
12. Discrete mathematics and its applications
پدیدآورنده : Rosen, Kenneth H.
موضوع : ، Mathematics,، Computer science -- Mathematics,، Logic, Symbolic and mathematical
۳ نسخه از این کتاب در ۲ کتابخانه موجود است.
13. Discrete mathematics and its applications
پدیدآورنده : / Kenneth H. Rosen
کتابخانه: کتابخانه مرکزی دانشگاه ایلام (ایلام)
موضوع : Mathematics,Computer science- Mathematics,Logic, Symbolic and mathematical
رده :
QA39
.
3
.
R67
2007
14. Discrete mathematics and its applications
پدیدآورنده : / Kenneth H. Rosen
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع : Mathematics,Computer science, Mathematics,Logic, Symbolic and mathematical
رده :
QA39
.
3
.
R67
2007
15. Discrete mathematics and its applications with combinatorics and graph theory
پدیدآورنده : Rosen, Kenneth H,Kenneth H Rosen
کتابخانه: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)
موضوع : ، Mathematics,، Computer science - Mathematics,، Logic, Symbolic and mathematical
رده :
QA
39
.
2
.
R6D5
2007
16. Discrete mathematics :mathematical reasoning and proof with puzzles, patterns, and games
پدیدآورنده : Ensley, Douglas E.
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه بیرجند (خراسان جنوبی)
موضوع : ، Logic, Symbolic and mathematical,، Mathematical recreations,Mathematics ، Computer science
رده :
QA
9
.
25
.
E57
2006
17. Discrete structures, logic, and computability
پدیدآورنده : James L. Hein
کتابخانه: کتابخانه و مرکز اطلاع رسانی آیت الله ایمانی دانشگاه سلمان فارسی (فارس)
موضوع : Computer science, Mathematics,Logic programming,Data structures )Computer science(,Logic, Symbolic and mathematical,Computable functions
رده :
QA
76
,.
9
.
H42D5
2010
18. Discrete structures, logic, and computability
پدیدآورنده : / James L. Hein
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع : Computer science--Mathematics,Logic programming,Data structures (Computer science),Logic, Symbolic and mathematical,Computable functions
رده :
QA76
.
9
.
M35
,.
H44
2010
19. Discrete structures with contemporary applications
پدیدآورنده : Alexander Stanoyevitch
موضوع : Computer science, Mathematics,Logic, Symbolic and mathematical,Probabilities,COMPUTERS / Operating Systems / General, bisacsh,MATHEMATICS / Combinatorics, bisacsh
۲ نسخه از این کتاب در ۱ کتابخانه موجود است.
20. Finite automata, formal logic, and circuit complexity
پدیدآورنده : / Howard Straubing
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع : Computer science- Mathematics,Automata,Logic, Symbolic and mathematical,Computational complexity
رده :
QA76
.
9
.
M35
,
S77
1994